InstantiatedRecordModuleNoCopattern.agda:24,1-10
Cannot eliminate type  R  with projection  out
when checking the clause left hand side
out wrong
